Automatic , Template - Based Run - Time Specialization : Implementation and Experimental Study François Noël , Luke Hornof

Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study

Specializing programs with respect to run-time values has been shown to drastically improve code performance on realistic programs ranging from operating systems to graphics. Recently, various approaches to specializing code at run-time have been proposed. However, these approaches still suuer from shortcomings that limit their applicability: they are manual, too expensive, or require programs ...

A Uniform Approach for Compile-Time and Run-Time Specialization

As partial evaluation gets more mature it is now possible to use this program transformation technique to tackle realistic languages and real size application programs However this evolution raises a num ber of critical issues that need to be addressed before the approach be comes truly practical First of all most existing partial evaluators have been developed based on the assumption that they...

Compiling for Runtime Code Generation

Cyclone is a programming language that provides explicit support for dynamic specialization based on runtime code generation. To generate specialized code quickly, our Cyclone compiler uses a template based strategy in which pre-compiled code fragments are stitched together at runtime. To achieve good performance, the pre-compiled fragments must be optimized. This paper describes a principled a...

Compiling for Template - BasedRun - Time Code

Compiling for template-based run-time code generation

Cyclone is a type-safe programming language that provides explicit run-time code generation. The Cyclone compiler uses a template-based strategy for run-time code generation in which pre-compiled code fragments are stitched together at run time. This strategy keeps the cost of code generation low, but it requires that optimizations, such as register allocation and code motion, are applied to te...